Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
971	SWS FlowConnect support for Control Flow Patterns Add to Reading List Source URL: www.workflowpatterns.com Language: English - Date: 2011-11-29 19:53:04 Concurrent computing Process Finite-state machine Computing Computer science Electronics Models of computation Automata theory Digital electronics
972	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed] Add to Reading List Source URL: www.proceedings2009.imcsit.org Language: English - Date: 2009-10-30 02:36:35 Computer science Applied mathematics Deterministic pushdown automaton Pushdown automaton Nondeterministic finite automaton Tree automaton Deterministic finite automaton Finite-state machine Tree traversal Automata theory Models of computation Theoretical computer science
973	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
974	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-08-17 20:58:29 Formal methods Computability theory Models of computation Tuple Type theory Lambda calculus Combinatory logic HO Categorial grammar Mathematics Theoretical computer science Mathematical notation
975	Analysis of Algorithms: Recursion Equations Author: Haldir[RET] Abstract Keywords: Math, Altihmetics, Recursion, Modulo, Algorithm There isn’t much you need to know to understand this Essay, you should be familiar with Add to Reading List Source URL: www.reteam.org Language: English - Date: 2009-05-17 13:10:52 Mathematics Theory of computation Mathematical logic Recursion Self-reference Differential equation Fibonacci number Linear congruential generator Computer programming Programming idioms Computing
976	An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-05-27 20:54:37 Finite-state machine Channel Computer science Automata theory Theoretical computer science Models of computation
977	Matching Trace Patterns with Regular Policies Franz Baader1, , Andreas Bauer2 , and Alwen Tiu2 1 TU Dresden, Germany [removed] 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-04-14 20:01:26 PSPACE-complete NP Regular language Deterministic finite automaton P FO Linear temporal logic Book:Theory Of Computation Theoretical computer science Complexity classes Applied mathematics
978	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
979	The Saddest Moment James Mickens James Mickens is a researcher in the Distributed Systems group at Microsoft’s Redmond Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-02 17:06:29 Cryptography Failure Fault tolerance Theory of computation Byzantine fault tolerance Fault-tolerant system Communications protocol Software bug Fault-tolerant design Computing Fault-tolerant computer systems Systems engineering
980	Universal Computation via Self-assembly of DNA: Some Theory and Experiments Erik Winfree1 , Xiaoping Yang2, Nadrian C. Seeman2 August 7, [removed]Computation and Neural Systems Option, California Institute of Technology 2 Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:19 Helices Chemistry Biophysics Nucleic acids Nucleic acid thermodynamics Nucleic acid double helix Context-free grammar Formal grammar Nucleic acid sequence DNA Formal languages Biology

UPDATE